Murali Krishna Ramanathan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Efficient tag detection in RFID systems

Bogdan Carbunar, Murali Krishna Ramanathan, Mehmet Koyutürk, Suresh Jagannathan, Ananth Grama

Journal:

Journal of Parallel and Distributed Computing

Year:

2009

Language:

english

File:

PDF, 3.88 MB

english, 2009

2

Randomized leader election

Murali Krishna Ramanathan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Grama, Wojciech Szpankowski

Journal:

Distributed Computing

Year:

2007

Language:

english

File:

PDF, 517 KB

english, 2007

3

[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07) - Path-Sensitive Inference of Function Precedence Protocols

Ramanathan, Murali Krishna, Grama, Ananth, Jagannathan, Suresh

Year:

2007

Language:

english

File:

PDF, 192 KB

english, 2007

4

A COMPUTATIONAL MODEL FOR LESION DYNAMICS IN MULTIPLE SCLEROSIS OF THE BRAIN

MOHAN, T. R. KRISHNA, SEN, SURAJIT, RAMANATHAN, MURALI

Journal:

International Journal of Modern Physics E

Year:

2008

Language:

english

File:

PDF, 772 KB

english, 2008

5

[ACM Press the 2008 ACM symposium - Fortaleza, Ceara, Brazil (2008.03.16-2008.03.20)] Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 - PHALANX

Ramanathan, Murali Krishna, Koyuturk, Mehmet, Grama, Ananth, Jagannathan, Suresh

Year:

2008

Language:

english

File:

PDF, 192 KB

english, 2008

6

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Static specification inference using predicate mining

Ramanathan, Murali Krishna, Grama, Ananth, Jagannathan, Suresh

Year:

2007

Language:

english

File:

PDF, 302 KB

english, 2007

7

[ACM Press the 19th ACM SIGPLAN symposium - Orlando, Florida, USA (2014.02.15-2014.02.19)] Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '14 - Trace driven dynamic deadlock detection and reproduction

Samak, Malavika, Ramanathan, Murali Krishna

Year:

2014

Language:

english

File:

PDF, 472 KB

english, 2014

8

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - Omen+: a precise dynamic deadlock detector for multithreaded Java libraries

Samak, Malavika, Ramanathan, Murali Krishna

Year:

2014

Language:

english

File:

PDF, 143 KB

english, 2014

9

[ACM Press the 2014 ACM International Conference - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14 - Multithreaded test synthesis for deadlock detection

Samak, Malavika, Ramanathan, Murali Krishna

Year:

2014

Language:

english

File:

PDF, 541 KB

english, 2014

10

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Synthesizing racy tests

Samak, Malavika, Ramanathan, Murali Krishna, Jagannathan, Suresh

Year:

2015

Language:

english

File:

PDF, 280 KB

english, 2015

11

[ACM Press the 2015 International Symposium - Baltimore, MD, USA (2015.07.13-2015.07.17)] Proceedings of the 2015 International Symposium on Software Testing and Analysis - ISSTA 2015 - Pegasus: automatic barrier inference for stable multithreaded systems

Dhok, Monika, Mudduluru, Rashmi, Ramanathan, Murali Krishna

Year:

2015

Language:

english

File:

PDF, 324 KB

english, 2015

12

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Scalable and incremental software bug detection

McPeak, Scott, Gros, Charles-Henri, Ramanathan, Murali Krishna

Year:

2013

Language:

english

File:

PDF, 241 KB

english, 2013

13

[ACM Press the companion publication of the 2014 ACM SIGPLAN conference - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity - SPLASH '14 - Omen

Samak, Malavika, Ramanathan, Murali Krishna

Year:

2014

Language:

english

File:

PDF, 549 KB

english, 2014

14

[IEEE 2015 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Bremen, Germany (2015.9.29-2015.10.1)] 2015 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Deterministic dynamic race detection across program versions

Poluri, Sri Varun, Ramanathan, Murali Krishna

Year:

2015

Language:

english

File:

PDF, 290 KB

english, 2015

15

Association of HLA-DR/DQ Alleles and Haplotypes with Nephrotic Syndrome

Ramanathan, Aravind Selvin Kumar, Senguttuvan, Prabha, Chinniah, Rathika, Vijayan, Murali, Thirunavukkarasu, Manikandan, Raju, Kamaraj, Mani, Dhivakar, Ravi, Padma Malini, Rajendran, Padmaraj, Krishna

Journal:

Year:

2015

Language:

english

File:

PDF, 683 KB

english, 2015

16

Static specification inference using predicate mining

Ramanathan, Murali Krishna, Grama, Ananth, Jagannathan, Suresh

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 302 KB

english, 2007

17

[ACM Press the 25th International Symposium - Saarbrücken, Germany (2016.07.18-2016.07.20)] Proceedings of the 25th International Symposium on Software Testing and Analysis - ISSTA 2016 - Efficient flow profiling for detecting performance bugs

Mudduluru, Rashmi, Ramanathan, Murali Krishna

Year:

2016

Language:

english

File:

PDF, 349 KB

english, 2016

18

[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - Synthesizing tests for detecting atomicity violations

Samak, Malavika, Ramanathan, Murali Krishna

Year:

2015

Language:

english

File:

PDF, 355 KB

english, 2015

19

Directed synthesis of failing concurrent executions

Samak, Malavika, Tripp, Omer, Ramanathan, Murali Krishna

Journal:

ACM SIGPLAN Notices

Year:

2016

Language:

english

File:

PDF, 386 KB

english, 2016

20

[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering - ICSE '16 - Type-aware concolic testing of JavaScript programs

Dhok, Monika, Ramanathan, Murali Krishna, Sinha, Nishant

Year:

2016

Language:

english

File:

PDF, 303 KB

english, 2016

21

[ACM Press the 2016 24th ACM SIGSOFT International Symposium - Seattle, WA, USA (2016.11.13-2016.11.18)] Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - Directed test generation to detect loop inefficiencies

Dhok, Monika, Ramanathan, Murali Krishna

Year:

2016

Language:

english

File:

PDF, 337 KB

english, 2016